Petri nets

Results: 184



#Item
51State Equation for Interval-Timed Petri Nets Louchka Popova-Zeugmann1 and Elisabeth Pelz2 1 Department of Computer Science, Humboldt University, Berlin, Germany

State Equation for Interval-Timed Petri Nets Louchka Popova-Zeugmann1 and Elisabeth Pelz2 1 Department of Computer Science, Humboldt University, Berlin, Germany

Add to Reading List

Source URL: csp2011.mimuw.edu.pl

Language: English - Date: 2011-09-01 11:05:26
    52Using Timed Petri Nets to Model Spatial-temporal Group Scheduling Problems

    Using Timed Petri Nets to Model Spatial-temporal Group Scheduling Problems

    Add to Reading List

    Source URL: csp2011.mimuw.edu.pl

    Language: English - Date: 2011-09-01 11:05:13
      53Petri Nets Tutorial, from Symmetric Nets to Symmetric Nets with Bags (session 1) Souheib Baarir, Fabrice Kordon, Laure Petrucci

      Petri Nets Tutorial, from Symmetric Nets to Symmetric Nets with Bags (session 1) Souheib Baarir, Fabrice Kordon, Laure Petrucci

      Add to Reading List

      Source URL: www.cosyverif.org

      Language: English - Date: 2015-11-09 09:57:14
        54Call for Papers and Announcement methodology, or other developments that demonstrate the applicability of Petri nets to industrial systems. Petri Nets 2002

        Call for Papers and Announcement methodology, or other developments that demonstrate the applicability of Petri nets to industrial systems. Petri Nets 2002

        Add to Reading List

        Source URL: www.informatik.uni-hamburg.de

        Language: English - Date: 2001-06-18 06:12:29
          55BISIMILARITY AND BEHAVIOUR-PRESERVING RECONFIGURATIONS OF OPEN PETRI NETS PAOLO BALDAN, ANDREA CORRADINI, HARTMUT EHRIG, REIKO HECKEL, ¨ AND BARBARA KONIG Dipartimento di Matematica Pura e Applicata, Universit`

          BISIMILARITY AND BEHAVIOUR-PRESERVING RECONFIGURATIONS OF OPEN PETRI NETS PAOLO BALDAN, ANDREA CORRADINI, HARTMUT EHRIG, REIKO HECKEL, ¨ AND BARBARA KONIG Dipartimento di Matematica Pura e Applicata, Universit`

          Add to Reading List

          Source URL: www.math.unipd.it

          Language: English - Date: 2008-09-28 04:14:22
            56Graph transformation systems, Petri nets and Semilinear Sets: Checking for the Absence of Forbidden Paths in Graphs Barbara K¨onig Institut f¨ ur Informatik und interaktive Systeme, Universit¨

            Graph transformation systems, Petri nets and Semilinear Sets: Checking for the Absence of Forbidden Paths in Graphs Barbara K¨onig Institut f¨ ur Informatik und interaktive Systeme, Universit¨

            Add to Reading List

            Source URL: www.dsi.unive.it

            Language: English - Date: 2012-01-04 17:47:41
              57Introduction partially stochastic Time Petri Nets Characterization of symbolic runs Partial stochastic characterization of timed runs over DBM domains

              Introduction partially stochastic Time Petri Nets Characterization of symbolic runs Partial stochastic characterization of timed runs over DBM domains

              Add to Reading List

              Source URL: webspn.hit.bme.hu

              Language: English - Date: 2009-11-13 09:12:22
                58BPTrends May 2005 Pi Calculus Versus Petri Nets

                BPTrends May 2005 Pi Calculus Versus Petri Nets

                Add to Reading List

                Source URL: www.workflowpatterns.com

                Language: English - Date: 2015-10-21 02:00:18
                  59c 2005 Cambridge University Press Math. Struct. in Comp. Science (2005), vol. 15, pp. 1–35.  DOI: S0960129504004311 Printed in the United Kingdom Compositional semantics for open Petri nets based on determinis

                  c 2005 Cambridge University Press Math. Struct. in Comp. Science (2005), vol. 15, pp. 1–35.  DOI: S0960129504004311 Printed in the United Kingdom Compositional semantics for open Petri nets based on determinis

                  Add to Reading List

                  Source URL: www.math.unipd.it

                  Language: English - Date: 2007-03-06 04:19:43
                    60PNGT’06 Workshop on Petri Nets and Graph TransformationsSeptember - Natal, Brasil Thursday, Sept

                    PNGT’06 Workshop on Petri Nets and Graph TransformationsSeptember - Natal, Brasil Thursday, Sept

                    Add to Reading List

                    Source URL: www.dsi.unive.it

                    Language: English - Date: 2012-01-04 17:49:19